Simplify a radical expression with variables